(SETQ IBASE (ADD1 9.)) (DEFPROP ALLFNS (NIL FLUB GLUB) VALUE) (DEFPROP FLUB (LAMBDA (N) (COND ((EQUAL 0. N) NIL) (T (CONS (GLUB) (FLUB (SUB1 N)))))) EXPR) (DEFPROP GLUB (LAMBDA NIL (PROG (A B N) (SETQ A (TIME)) (SETQ N 0.) L (COND ((*GREAT (SETQ B (TIME)) A) (RETURN (CONS (DIFFERENCE B A) N)))) (SETQ N (ADD1 N)) (GO L))) EXPR)